Papers with Propositional Logic

    1 papers
    Parsing Natural Language into Propositional and First-Order Logic with Dual Reinforcement Learning (2022.coling-1)

    Copied to clipboard

    Challenge: Existing methods to parse natural language into structured logical expressions have limitations due to paucity of labeled data.
    Approach: They propose a scoring model to automatically learn a model-based reward . they also propose introducing a Chinese-PL/FOL dataset to compensate for paucity of labeled data .
    Outcome: The proposed model outperforms competitors on several datasets.

    What is GenGO?

    GenGO is an NLP powered publication search system. It currenctly indexes 30k+ papers from ACL Anthology, and implements multi-aspect summarization, semantic search, and more!

    Information

    About
    Limitations